William Strathearn Keith (1902-1987)

William Homan Thorpe: 1 April 1902-7 April 1986.

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

Glomerulonephritis Keith

Early diagnosis of glomerulonephritis (GN) in the adolescent is important in initiating appropriate treatment and controlling chronic glomerular injury that may eventually lead to end-stage renal disease (ESRD). The spectrum of GN in adolescents is more similar to that seen in young and middle-aged adults than to that observed in prepubertal children. In this article, the authors discuss the cl...

William E. Paul, M.D. (1936-2015), President, The American Association of Immunologists, 1986-1987.

Print ISSN: 0022-1767 Online ISSN: 1550-6606. Immunologists, Inc. All rights reserved. Copyright © 2015 by The American Association of 9650 Rockville Pike, Bethesda, MD 20814-3994. The American Association of Immunologists, Inc., is published twice each month by The Journal of Immunology at U iv of C alifnia-San D igo Seials/B om ed L ib 0699 on D ecem er 4, 2015 hp://w w w jim m unl.org/ D ow ...

Arne Tiselius, 1902-1971.